type String = List[Char]